有界算子

Bounded Operator) 有界算子 (Bounded Operator

基本定义

有界性的定义

设 $X$ 和 $Y$ 是赋范线性空间，线性算子 $T:X\to Y$ 称为有界算子，如果存在常数 $C\ge 0$ 使得：

等价表述：$T$ 将 $X$ 中的有界集映射为 $Y$ 中的有界集。

有界算子空间

从 $X$ 到 $Y$ 的所有有界线性算子构成的集合记为 $\mathcal{B}(X,Y)$ 或 $\mathcal{L}(X,Y)$。

当 $X=Y$ 时，简记为 $\mathcal{B}(X)$ 或 $\mathcal{L}(X)$。

核心定理：有界性与连续性的等价

定理陈述

定理：设 $X,Y$ 是赋范线性空间，$T:X\to Y$ 是线性算子。则以下条件等价：

1. $T$ 在某点连续（通常在 $x=0$ 处）
2. $T$ 在 $X$ 上处处连续
3. $T$ 是有界算子

证明概要

$(1)\Rightarrow (2)$：利用线性性质和连续性的局部定义

$(2)\Rightarrow (3)$：

• 在 $x=0$ 处连续：$\mathrm{\exists }\delta >0,\parallel x\parallel <\delta \Rightarrow \parallel Tx\parallel <1$
• 对任意 $x\ne 0$，设 $y=\frac{\delta x}{2\parallel x\parallel }$，则 $\parallel y\parallel =\frac{\delta }{2}<\delta$
• 因此 $\parallel Ty\parallel <1$，即 $\Vert T\left(\frac{\delta x}{2\parallel x\parallel }\right)\Vert <1$
• 由齐次性：$\frac{\delta }{2\parallel x\parallel }\parallel Tx\parallel <1$
• 得到：$\parallel Tx\parallel \le \frac{2}{\delta }\parallel x\parallel$

$(3)\Rightarrow (1)$：直接由有界性定义可得

重要性：这个等价性是泛函分析的基石之一，简化了连续性验证。

算子范数

定义

有界算子 $T:X\to Y$ 的算子范数定义为：

等价刻画

基本性质

1. 次乘性 (Submultiplicative)：

   $$\parallel ST\parallel \le \parallel S\parallel \parallel T\parallel$$

2. 三角不等式：

   $$\parallel S+T\parallel \le \parallel S\parallel +\parallel T\parallel$$

3. 齐次性：

   $$\parallel \alpha T\parallel =|\alpha |\parallel T\parallel$$

4. 单位算子：

   $$\parallel I\parallel =1$$

有界算子空间的性质

Banach空间性质

定理：若 $Y$ 是Banach空间，则 $\mathcal{B}(X,Y)$ 也是Banach空间。

证明概要：

• 设 $\{T_n\}$ 是 $\mathcal{B}(X,Y)$ 中的Cauchy列
• 对每个 $x\in X$，$\{T_{n}x\}$ 是 $Y$ 中的Cauchy列
• 定义 $Tx=\underset{n\to \mathrm{\infty }}{lim}{T}_{n}x$
• 证明 $T$ 是线性的、有界的，且 $\parallel T_n-T\parallel \to 0$

有限维情形

定理：有限维赋范线性空间之间的任何线性算子都是有界的。

证明思路：

• 在有限维空间中，单位球是紧集
• 范数函数在紧集上达到最大值
• 因此 $\underset{\parallel x\parallel =1}{sup}\parallel Tx\parallel <\mathrm{\infty }$

例子和反例

有界算子例子

1. 零算子

$T:X\to Y$，$Tx=0$，$\mathrm{\forall }x\in X$

• $\parallel T\parallel =0$

2. 单位算子

$I:X\to X$，$Ix=x$，$\mathrm{\forall }x\in X$

• $\parallel I\parallel =1$

3. 矩阵算子

$T_A:{\mathbb{C}}^n\to {\mathbb{C}}^m$，$T_A(x)=Ax$

• 算子范数（对应 ${\ell }^2$ 范数）：$$\parallel A\parallel ={\sigma }_{max}(A)$$其中 ${\sigma }_{max}(A)$ 是 $A$ 的最大奇异值

4. 积分算子

在 $L^2[a,b]$ 上定义：

其中 $K\in L^2([a,b]\times [a,b])$。

• 有界性：$\parallel K\parallel \le \parallel K{\parallel }_{L^2}$
• 是紧算子

5. 乘法算子

在 $L^2(\mathrm{\Omega })$ 上：

其中 $\varphi \in L^{\mathrm{\infty }}(\mathrm{\Omega })$。

• $\parallel M_{\varphi }\parallel =\parallel \varphi {\parallel }_{\mathrm{\infty }}$

无界算子反例

1. 微分算子（关键例子）

在 $C[0,1]$ 空间上，取上确界范数：

无界性证明：

• 取 $f_n(t)=t^n$，则 $\parallel f_n{\parallel }_{\mathrm{\infty }}=1$
• $D{f}_n(t)=n{t}^{n-1}$，$\parallel D{f}_n{\parallel }_{\mathrm{\infty }}=n$
• 因此 $\frac{\parallel D{f}_n\parallel }{\parallel f_n\parallel }=n\to \mathrm{\infty }$
• 不存在常数 $C$ 使得 $\parallel Df\parallel \le C\parallel f\parallel$ 对所有 $f$ 成立

重要启示：微分算子不连续，需要特殊处理（例如Sobolev空间）。

2. 乘法算子（无界版本）

在 $L^2[0,1]$ 上：

虽然这个例子实际上有界（$\parallel T\parallel =1$），但如果取：

在适当定义域下，这是无界算子。

有界算子的谱理论简介

谱的定义

设 $T\in \mathcal{B}(X)$，$T$ 的谱 $\sigma (T)$ 定义为：

谱半径：

重要定理

谱半径公式

谱的性质

• $\sigma (T)$ 是 $\mathbb{C}$ 的非空紧子集
• $\sigma (T)\subset \{z\in \mathbb{C}:|z|\le \parallel T\parallel \}$
• 对于有限维空间，$\sigma (T)$ 就是特征值集合

应用

1. 泛函分析中的应用

• Hahn-Banach定理：保证足够多的连续线性泛函存在
• 开映射定理：有界满射是开映射
• 闭图像定理：通过图像判断连续性

2. 微分方程

• 将微分方程问题转化为算子方程
• 紧算子的谱理论用于特征值问题
• Fredholm理论用于积分方程

3. 量子力学

• 物理可观测量用有界自伴算子表示
• 谱分解定理
• 测量算子的有界性假设

4. 数值分析

• 算子条件数：$\kappa (T)=\parallel T\parallel \parallel T^{-1}\parallel$
• 迭代法的收敛性分析
• 算子逼近理论

与其他概念的关系

• 线性算子：有界算子是其连续子类
• 算子范数：衡量有界算子的大小
• 紧算子：特殊的有界算子，性质更好
• 对偶空间：有界线性泛函的空间
• 伴随算子：有界算子的对偶
• 微积算子：积分算子通常有界，微分算子通常无界

重要结论总结

参考书目

1. Kreyszig, E. (1978). Introductory Functional Analysis with Applications. Wiley.
2. Reed, M., & Simon, B. (1980). Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis. Academic Press.
3. Rudin, W. (1991). Functional Analysis. McGraw-Hill.
4. Lax, P. D. (2002). Functional Analysis. Wiley-Interscience.

关键词：有界线性算子、连续性、算子范数、Banach空间、谱理论、微分算子无界性